#include "syscall.h"

int main()
{
	int testMV;
	WriteFormat("-----------Test case VI-----------\n",36,0,0);
	WriteFormat("Test the functionality of MV related syscalls\n",47,0,0);
	WriteFormat("6-1  Create the MV\n",20,0,0);
	testMV=CreateMV("TestMV",6,10,0);
	WriteFormat("     Create MV successfully!\n",30,0,0);
	WriteFormat("6-2  Set the value of MV",24,0,0);
	SetMV(testMV,0,10);
	WriteFormat("     Set the value successfully! The new value is 10\n",54,0,0);
	WriteFormat("Wait for other client to get the value!\n",41,0,0);
	WaitInput();
	WriteFormat("6-4  Destroy the MV\n",21,0,0);
	DestroyMV(testMV);
	WriteFormat("     Destroy the MV successfully!\n",35,0,0);
	WriteFormat("----------  test end  ----------\n",34,0,0);
	return 1;
}
